COMMENT ⊗ VALID 00002 PAGES C REC PAGE DESCRIPTION C00001 00001 C00002 00002 (declare (special n)(fixsw t)) C00003 ENDMK C⊗; (declare (special n)(fixsw t)) (setq n 0) (defun tak (x y z) (cond ((< y x) ;x≤y (tak (tak (1- x) y z) (tak (1- y) z x) (tak (1- z) x y))) (t (setq n (1+ n)) z))) (tak 5 3 1) n